# Author    :Dun_Hz
# Time      :2024/3/18 9:05
# 解空间为子集树

n = 4
a = [1, 2, 3, 4]
x= []       #一个解（n元0-1数组）
X= []       # 一组解

# 冲突检测：无
def conflict(k):
    global n, x, X, a
    return False    #无冲突

# 一个例子
# 冲突检测：奇偶性相同，且和小于8的自己
def conflict2(k):
    global n, x, X, a
    if k==0:
        return False
    # 根据部分解，构造部分集
    s = [y[0] for y in filter(lambda s:s[1]!=0,zip(a[:k+1],x[:k+1]))]
    if len(s) ==0:
        return False
